The VSLI design automation assistant : first step

نویسندگان

  • Thaddeus J. Kowalski
  • Donald E. Thomas
  • T. J. Kowalski
  • D. E. Thomas
چکیده

This paper describes an approach to VLSI design synthesis using both knowledge-based expert systems and data and control flow analysis. We are concerned with design synthesis as it proceeds from an algorithmic description of a VLSI system to a list of technology-independent registers, operators, data paths, and control signals. This paper discusses the development of the Design Automation Assistant from its first interviews with expert VLSI designers to its current prototype state. Four designs of a microcomputer are presented along with the changes in the knowledge base that created those designs.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

· Technical note Design of a PLC system for automatic I-123 production

 ABSTRACTBackground: Design of the production system for Iodine-123 has begun recently in nuclear research centre of agricultural and medicine (NRCAM). The production system consists of pipes for xenon gas transfer, equipped with 10 valves, 3 heaters, fluid nitrogen and 2 vacuum pumps. In the first prototype the function of elements was being done manually by an operator. Because dispensing rad...

متن کامل

Fixture Design Automation and Optimization Techniques: Review and Future Trends

Fixture design is crucial part of manufacturing process. Fixture design is a critical design activity process, in which automation plays an integral role in linking computer-aided design (CAD) and computer-aided manufacturing (CAD). This paper presents a literature review in computer aided fixture design (CAFD) in terms of automation and optimization techniques over the past decades. First, the...

متن کامل

First Steps towards Automating Hardware Proofs

The use of higher-order logic and an associated interactive theorem proving environment for hardware verification has established itself as an important technique for formal hardware validation [CaGM 86, FFEH 891. In spite of the fact that such techniques are powerful and can be used for validation of complex systems, they continue to remain purely within the purview of theorem proving speciali...

متن کامل

A Systems Approach to Information Technology (IT) Infrastructure Design for Utility Management Automation Systems

Almost all of electric utility companies are planning to improve their management automation system, in order to meet the changing requirements of new liberalized energy market and to benefit from the innovations in information and communication technology (ICT or IT). Architectural design of the utility management automation (UMA) systems for their IT-enabling requires proper selection of ...

متن کامل

IsaPlanner 2: A Proof Planner for Isabelle

We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and present the central design decisions and their motivations. The major advances are the support for a declarative presentation of the proof plans, reasoning with meta-variables to support middle-out reasoning, new proof critics for lemma speculation and case analysis, the ability to mix search strategies, a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015